Freek Wiedijk; "Formalizing Arrow’s theorem"
Freek Wiedijk
https://scrapbox.io/files/64f9afc1eba695001b92bc05.pdf
#社会選択理論の形式化
Memo
John Geanakoplos; "Three brief proofs of Arrow’s Impossibility Theorem"
の証明を形式化している．